Les relations d’influence et leurs représentations

Des descriptions linguistiques à leurs représentations

Notes sur les modèles de jeux, leurs logiques temporelles, et leurs extensions temporisées

Model checking. La vérification automatique des systèmes réactifs, critiques et/ou embarqués est aujourd’hui un problème très important. D’une part, parce que l’usage de ces systèmes s’est considérablement étendu ces dernières années et d’autre part, parce que leur complexité s’est largement accrue. Leur développement, depuis leur spécification jusqu’à leur implémentation, requiert donc des app...

La Médecine traditionnelle de l'Inde: doctrines prévédique, védique, âyurvédique, yogique et tantrique. Les empereurs moghols, leurs maladies et leurs médecins

tactics, including the use of attack dogs. While pre-Columbian America was by no means a disease-free Shangri-La, the airborne and highly infectious European and African imports caused havoc among populations living in splendid immunological isolation. In contrast to some earlier works, Noble's book succeeds because of its scope and balance, and the author's effort to present the onslaught of d...

Formes Modulaires Et Représentations -adiques

(2π)Γ(s)Lτ (s) is invariant under s 7→ 12 − s. The Ramanujan conjecture affirms that the roots of the polynomial Hp are of absolute value p −11/2 (i.e. that |τ(p)| < 2p). These properties, proven or conjectural, are similar to conjectural properties of zeta functions of algebraic varieties over Q. Suggested by this, in a first approximation, it is tempting to interpret the function Lτ as the ze...

Les Modèles Déformables et leurs Applications dans le Traitement des Images Médicales

L’extraction d’informations pertinentes à partir d’images médicales est une tâche délicate. Cet article, décrit comment analyser la colonne cervicale afin de détecter les contours des vertèbres. Notre but est d’étudier la méthode Actif Shape model (ASM) et d’essayer de relever ses désavantages notamment ceux relatifs à la phase de marquage de l’ensemble d’apprentissage. A cet effet, nous avons ...